Issue1635.agda:7,10-14
x != foo of type Foo
when checking that the expression refl has type x ≡ foo
